f :: Bool -> Bool